Ett värdigt offer?

Epigram reloaded: a standalone typechecker for ETT

Epigram 1 [18, 3] is at the same time a functional programming language with dependent types and a type-driven, interactive program development system. Epigram’s type system is strong enough to express a wide range of program properties, from basic structural invariants to full specifications. The system supports the interactive development of programs exploiting types to direct the design proc...

eTT sucTioning in neonaTes and infanTs

The endotracheal tube (eTT) is the most common artificial airway used in NICUs. Suctioning of the eTT is imperative to maintain patency and prevent complications. An extensive review of the literature revealed a lack of standardized criteria or guidelines for suctioning the eTT of neonates and infants in the NICU. The purpose of this article is to report the implementation of an evidencebased g...

Alternating-offer games with final-offer arbitration

I analyze an alternating-offer model that integrates the common practice of having an arbitrator determine the outcomes if both players’ offers are rejected. I assume that the arbitrator uses final-offer arbitration (as in professional baseball). I find that if the arbitrator does not excessively favor one player, then the unique subgame-perfect equilibrium always coincides with the subgame-per...

Offer Networks

Cloud Service Offer Selection

In the application economy, digital business initiatives are at the forefront of the growth strategy of many companies. Cloud based solutions offer a significant competitive advantage for both large companies and SMEs, leading to a rapid increase in the number of Cloud Service Providers (CSP). An important CSP driver is the improvement of consumers’ experience through digital platforms that all...